Modeling of Domain-Specific ECA Policies
نویسندگان
چکیده
Policy-based management is a flexible approach for the management of complex systems as policies make context-sensitive and automated decisions. For the effective development of policies it is desired to specify policies at a high level of abstraction initially, and to refine them until they are represented in a machine-executable way. We present an approach that uses models to specify event-condition-action (ECA) policies at different levels of abstraction. A relational algebra is used to specify and validate the models in a formal way. Finally, executable policy code is generated from the lowlevel models. The approach is generic as it can be applied to any domain and supports a flexible number of abstraction layers. It is applied to the network management domain and demonstrated with the modeling and refinement of policies for coverage optimization in a mobile network. Keywords-domain; policy; ECA; modeling; refinement; MDE; network management
منابع مشابه
Specification and Refinement of Domain-Specific ECA Policies
Policy-based management is a flexible approach for the management of complex systems as policies make context-sensitive and automated decisions. For the effective development of policies it is desired to specify policies at a high level of abstraction initially, and to refine them until they are represented in a machine-executable way. We present an approach for the specification and the automa...
متن کاملAn Experience Modeling Critical Requirements
Previous work at NRL demonstrated the benefits of a security modeling approach for building high assurance systems for particular application domains. This paper introduces an application domain called selective bypass that is prominent in certain network security solutions. We present a parameterized modeling framework for the domain and then instantiate a confidentiality model for a particula...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملDialogue Modeling in Embodied Communicational Agents
We are developing an ECA (Embodied Communicational Agent) system in Hungarian language. The ECA has to be able to carry out general chat conversations and domain specific discussions as well. The structure of the dialogue graph and the attributes of the graph nodes have to support the success of the conversation: user utterance understanding and responding, as well as repairing the “non-underst...
متن کاملCoordination in Workflow Management Systems - A Rule-Based Approach
Coordination is a key requirement of software systems where diierent parts have to be adjusted in order to reach a common goal. A prominent example thereof are workkow management systems (WFMS). They in particular require exible mechanisms to realize diierent kinds of coordination, which are called coordination policies. This need for exibility emerges from the fact that coordination policies i...
متن کامل